Some Properties and Some Problems
نویسندگان
چکیده
We study properties of functors on categories of sets (classes) together with set (class) functions. In particular, we investigate the notion of inclusion preserving functor, and we discuss various monotonicity and continuity properties of set functors. As a consequence of these properties, we show that some classes of set operators do not admit functorial extensions. Then, starting from Aczel’s Special Final Coalgebra Theorem, we study the class of functors uniform on maps, we present and discuss various examples of functors which are not uniform on maps but still inclusion preserving, and we discuss simple characterization theorems of final coalgebras as fixpoints. We present a number of conjectures and problems.
منابع مشابه
Vector Optimization Problems and Generalized Vector Variational-Like Inequalities
In this paper, some properties of pseudoinvex functions, defined by means of limiting subdifferential, are discussed. Furthermore, the Minty vector variational-like inequality, the Stampacchia vector variational-like inequality, and the weak formulations of these two inequalities defined by means of limiting subdifferential are studied. Moreover, some relationships between the vector vari...
متن کاملSolving the Unconstrained Optimization Problems Using the Combination of Nonmonotone Trust Region Algorithm and Filter Technique
In this paper, we propose a new nonmonotone adaptive trust region method for solving unconstrained optimization problems that is equipped with the filter technique. In the proposed method, the various nonmonotone technique is used. Using this technique, the algorithm can advantage from nonmonotone properties and it can increase the rate of solving the problems. Also, the filter that is used in...
متن کاملEigenfunction Expansions for Second-Order Boundary Value Problems with Separated Boundary Conditions
In this paper, we investigate some properties of eigenvalues and eigenfunctions of boundary value problems with separated boundary conditions. Also, we obtain formal series solutions for some partial differential equations associated with the second order differential equation, and study necessary and sufficient conditions for the negative and positive eigenvalues of the boundary value problem....
متن کاملSome Results on Convex Spectral Functions: I
In this paper, we give a fundamental convexity preserving for spectral functions. Indeed, we investigate infimal convolution, Moreau envelope and proximal average for convex spectral functions, and show that this properties are inherited from the properties of its corresponding convex function. This results have many applications in Applied Mathematics such as semi-definite programmings and eng...
متن کاملDifferent methods of forging; applications and obstacles
Forging is a manufacturing process that consists of shaping the metal using localized compression forces. The blows are delivered with a hammer (often an electric hammer) or a die. In this paper, different methods of forging (multi-directional forging, hot forging, near-beta forging, multi-axial forging, direct powder forging, warm forging and ring forging) are discussed. The main problems that...
متن کاملتأثیر افزودن پامیس، پرلیت و میکروسیلیس بر ویژگیهای مکانیکی خاکهای گچی
Lack of knowledge on soil geotechnical properties can cause many problems in the construction and maintenance of irrigation and drainage networks. In general, all of unconventional soils such as gypsiferous soils can cause some problems to irrigation canals. Some studies have been conducted on a variety of problematic soils, but still there is a need for more research activities and field studi...
متن کامل